Fix x86-64 build.
authorjrb44@plym.cl.cam.ac.uk <jrb44@plym.cl.cam.ac.uk>
Thu, 17 Nov 2005 12:32:05 +0000 (13:32 +0100)
committerjrb44@plym.cl.cam.ac.uk <jrb44@plym.cl.cam.ac.uk>
Thu, 17 Nov 2005 12:32:05 +0000 (13:32 +0100)
Signed-off-by: James Bulpin <james@xensource.com>
xen/arch/x86/domain.c

index 6f48b62bdc83f50e5dfb440de311d850137de935..c820368e837bf135b42e70a102698c2492aab79a 100644 (file)
@@ -255,6 +255,9 @@ void arch_do_createdomain(struct vcpu *v)
     struct domain *d = v->domain;
     l1_pgentry_t gdt_l1e;
     int vcpuid, pdpt_order;
+#ifdef __x86_64__
+    int i;
+#endif
 
     if ( is_idle_task(d) )
         return;